module direct sum

[数] 模直和